Перевод: с английского на русский

с русского на английский

nonmonotonic function

См. также в других словарях:

  • Non-monotonic logic — A non monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences …   Wikipedia

  • Mechanism design — The Stanley Reiter diagram above illustrates a game of mechanism design. The upper left space Θ depicts the type space and the upper right space X the space of outcomes. The social choice function f(θ) maps a type profile to an outcome. In games… …   Wikipedia

  • applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium

  • Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that …   Wikipedia

  • John von Neumann — Von Neumann redirects here. For other uses, see Von Neumann (disambiguation). The native form of this personal name is Neumann János. This article uses the Western name order. John von Neumann …   Wikipedia

  • Interaction — For other uses, see Interaction (disambiguation). Interaction is a kind of action that occurs as two or more objects have an effect upon one another. The idea of a two way effect is essential in the concept of interaction, as opposed to a one way …   Wikipedia

  • History of logic — Philosophy ( …   Wikipedia

  • Endocrine disruptor — Endocrine disruptors (sometimes also referred to as hormonally active agents) [cite journal |author=Krimsky S |title=An epistemological inquiry into the endocrine disruptor thesis |journal=Ann. N. Y. Acad. Sci. |volume=948 |issue= |pages=130–42… …   Wikipedia

  • John McCarthy (computer scientist) — Infobox Scientist name = John McCarthy image width= 200px caption = John McCarthy at a summit in 2006 birth date = birth date and age|1927|9|4 birth place = Boston, Massachusetts, USA residence = USA nationality = American field = Computer… …   Wikipedia

  • Circumscription (logic) — Not to be confused with circumscribe. Circumscription is a non monotonic logic created by John McCarthy to formalize the common sense assumption that things are as expected unless otherwise specified. Circumscription was later used by McCarthy in …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»